Entfernung des eingewachsenen Mayerschen Ringes

Mikrochirurgische Entfernung von Hirnstammkavernomen

Farbbasierte Entfernung von Artefakten bei der Blutgefäßsegmentierung auf Dickdarmpolypen

Kurzfassung. Darmkrebs ist in Deutschland die zweithäufigste Tumorerkrankung und wird jährlich bei 32.000 Frauen und 36.000 Männern diagnostiziert. Die Blutgefäßstruktur auf Dickdarmpolypen kann Aufschluss über die potentielle Bösartigkeit des Gewebes geben. Für die automatisierte Analyse von Dickdarmpolypen werden daher die Blutgefäße segmentiert. Artefakte, die bei der Segmentierung durch Rau...

Etude sur l'Agalaxic contagieuse des chèvres et des moutons

Les maladies des animaux dues à des Clostridium welchii

Des Propagateurs Indépendants Des Solveurs *

Cet article présente une extension des indexicals pour décrire des propagateurs de contraintes globales. Ce nouveau langage produit par compilation des propagateurs pour différents solveurs et est indépendant d’un solveur particulier. De plus, nous montrons que cette description de haut niveau aide à prouver certaines propriétés telles que correction et monotonie. Des résultats expérimentaux mo...